check problem

英 美
  • 检验问题,检验程序
  • check v.检查;阻止;核对;买单n.检查;阻碍;支票;账单;方格图案;(国际象棋)将军
  • problem n.问题;难题;习题adj.成问题的;难对付的
    1. Because most property to be verified are simple and can be verified without constructing the whole state space, we focus on the problem of reachability.
      考虑到系统中多数待检验问题仅仅是一些简单的性质。